1. A programmer's introduction to computability and formal languages
Author: Kurki-Suonio, Reino.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Formal languages,، Programming )Electronic computers(
Classification :
QA
267
.
3
.
K87
2. An introduction to formal language theory
Author: Moll, Robert N.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming languages )Electronic computers(,، Formal languages
Classification :
QA
76
.
7
.
M65
1988
3. An introduction to formal language theory
Author: Moll, Robert N.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Formal languages
Classification :
QA
76
.
7
.
M65
1988
4. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
267
.
A9228
1989
5. Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
Classification :
QA
267
.
A87
1992
6. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
Author: edited by J. W. de Bakker and J. van Leeuwen
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
85
7. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
Author: edited by Wilfried Brauer
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
194
8. Automata, languages, and programming
Author:
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Machine theory - Congresses,Formal languages - Congresses,Programming )Electronic computers( - Congresses
Classification :
QA
.
A923
267
9. Automata, languages, and programming
Author:
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
52
,
etc
...
10. Automata, languages and programming :
Author: edited by G. Ausiello and C. Böhm.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)
11. Automata, languages, and programming
Author: / Zoltan Fulop, Ferenc Gecseg (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory- Congresses,Formal languages- Congresses,Programming (Electronic computers)- Congresses
Classification :
QA267
.
A923
1995
12. Automata, languages, and programming
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
Classification :
QA
267
.
A923
13. Automata, languages and programming
Author: / M. S. Paterson(ed)
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses
Classification :
QA
267
.
A9228
1990
14. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
Author: edited by Arto Salomaa and Magnus Steinby
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
267
.
5
.
S4
C63
1977
15. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings
Author: Pierpaolo Degano, Roberto Gorrier, Alberto Marchetti-Spaccamela )eds.(
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses
Classification :
QA
267
.
I57
1997
16. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses
Classification :
QA
267
.
A9228
1991
17. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
Author: edited by Laurent kott
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
226
18. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(
Classification :
QA
267
.
I55
1985
19. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Formal description technique
Author: / edited by K.R. Parker, G.A. Rose
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
Classification :
QA
76
.
6
.
I185
1992
